Prelinearity residuated-lattice

英 美
  • 预线性剩余格
  • lattice n.格子;格状物;[物]点阵v.制做格子;使成格状